8.3 整数が足し算に関してアーベル群であることを利用する